5.88/7.74	unsat
