1.00/1.64	unsat
