25.40/25.74	unsat
