4.07/6.34	unsat
