6.87/7.71	unsat
