1.89/1.96	unsat
