34.07/34.16	unsat
