6.37/10.90	unsat
