1.62/1.69	unsat
