24.42/27.99	unsat
