26.44/29.88	unsat
