1.92/1.96	unsat
