10.31/10.52	unsat
