34.50/34.63	unsat
