7.48/7.81	unsat
