24.93/25.20	unsat
