6.37/7.34	unsat
