77.63/81.44	unsat
