3.39/4.97	unsat
