66.54/68.31	unsat
