6.37/8.11	unsat
