10.29/10.52	unsat
