1.39/5.87	unsat
