24.56/25.20	unsat
