32.64/34.59	unsat
