24.74/25.20	unsat
