24.42/27.14	unsat
