17.60/17.69	unsat
