17.56/19.69	unsat
