1.80/1.96	unsat
