34.13/34.84	unsat
