5.88/8.74	unsat
