34.03/34.50	unsat
