1.68/3.20	unsat
