33.88/34.23	unsat
