26.74/29.70	unsat
