25.23/26.89	unsat
