17.64/18.69	unsat
