17.18/19.46	unsat
