6.87/7.72	unsat
