1.58/1.96	unsat
