17.46/18.06	unsat
