6.99/7.81	unsat
