10.39/10.52	unsat
