33.92/36.12	unsat
