5.88/8.34	unsat
