24.25/27.10	unsat
