32.78/34.39	unsat
