26.00/28.22	unsat
