25.88/26.77	unsat
