26.83/28.91	unsat
