1.18/1.96	unsat
