1.64/1.69	unsat
