17.71/19.53	unsat
