6.37/8.28	unsat
