25.82/25.91	unsat
