24.35/26.99	unsat
