26.74/29.12	unsat
