10.17/11.52	unsat
