6.37/10.93	unsat
