5.88/6.34	unsat
