restore [locate_data_file sh2] b1
restore [locate_data_file sh8] b2

bop b1 b2
boptuc result


checkprops result -s 304.289