17.24/20.69	unsat
