17.13/18.52	unsat
