17.37/19.13	unsat
