1.16/1.96	unsat
