6.07/8.34	unsat
