30.35/31.96	unsat
