26.34/29.42	unsat
