69.54/71.59	unsat
