26.74/28.07	unsat
