7.63/7.81	unsat
