10.18/10.52	unsat
