17.47/18.06	unsat
