32.13/34.79	unsat
