1.88/1.96	unsat
