25.33/25.48	unsat
