6.87/7.73	unsat
