6.02/7.34	unsat
