31.62/33.29	unsat
