24.99/25.48	unsat
