11.17/13.52	unsat
