25.74/25.89	unsat
