1.08/1.96	unsat
