6.37/7.16	unsat
