1.59/1.69	unsat
