33.43/34.20	unsat
