16.57/18.69	unsat
