25.31/25.74	unsat
