1.28/1.96	unsat
