31.35/31.85	unsat
