34.20/34.34	unsat
