5.88/8.37	unsat
