6.37/10.57	unsat
