17.35/19.51	unsat
