1.69/1.96	unsat
