17.68/18.05	unsat
