34.48/34.66	unsat
